Shang-Ching Chou: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Automated production of traditional proofs for theorems in Euclidean geometry I. The Hilbert intersection point theorems

Jing-Zhong Zhang, Shang-Ching Chou, Xiao-Shan Gao

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1995

Language:

english

File:

PDF, 1.55 MB

english, 1995

2

A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering

Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang

Journal:

Journal of Automated Reasoning

Year:

2000

Language:

english

File:

PDF, 158 KB

english, 2000

3

An introduction to Wu's method for mechanical theorem proving in geometry

Shang-Ching Chou

Journal:

Journal of Automated Reasoning

Year:

1988

Language:

english

File:

PDF, 1.31 MB

english, 1988

4

Multi-Beam Radiations from Circular Periodic Array of Vivaldi Antennas Excited by an Integrated Two-Dimensional Luneburg Lens Beamforming Network

Chou, Hsi-Tseng, Chang, Shang-Che, Huang, Hao-Ju

Journal:

IEEE Antennas and Wireless Propagation Letters

Year:

2020

File:

PDF, 880 KB

2020

5

Automated reasoning in differential geometry and mechanics using the characteristic set method

Shang-Ching Chou, Xiao-Shan Gao

Journal:

Journal of Automated Reasoning

Year:

1993

Language:

english

File:

PDF, 820 KB

english, 1993

6

Mathematics Mechanization and Applications || Wu's method for automated geometry theorem proving and discovering

Shang-Ching, Chou

Year:

2000

Language:

english

File:

PDF, 1018 KB

english, 2000

7

Solving geometric constraint systems. I. A global propagation approach

Xiao-Shan Gao, Shang-Ching Chou

Journal:

Computer-Aided Design

Year:

1998

Language:

english

File:

PDF, 1010 KB

english, 1998

8

[IEEE Ninth International Conference on Computer Aided Design and Computer Graphics (CAD-CG'05) - Hong Kong, China (07-10 Dec. 2005)] Ninth International Conference on Computer Aided Design and Computer Graphics (CAD-CG'05) - Real-time Rain Simulation in Cartoon Style

Zhong-Xin Feng,, Min Tang,, Jin-Xiang Dong,, Shang-Ching Chou,

Year:

2005

Language:

english

File:

PDF, 231 KB

english, 2005

9

Automated generation of Kempe linkages for algebraic curves and surfaces

Xiao-Shan Gao, Chang-Cai Zhu, Shang-Ching Chou, Jian-Xin Ge

Journal:

Mechanism and Machine Theory

Year:

2001

Language:

english

File:

PDF, 144 KB

english, 2001

10

ON THE NORMAL PARAMETERIZATION OF CURVES AND SURFACES

GAO, XIAO-SHAN, CHOU, SHANG-CHING

Journal:

International Journal of Computational Geometry & Applications

Year:

1991

Language:

english

File:

PDF, 552 KB

english, 1991

11

A method for the mechanical derivation of formulas in elementary geometry

Shang-Ching Chou

Journal:

Journal of Automated Reasoning

Year:

1987

Language:

english

File:

PDF, 378 KB

english, 1987

12

[ACM Press the 2004 ACM SIGGRAPH international conference - Singapore (2004.06.16-2004.06.18)] Proceedings of the 2004 ACM SIGGRAPH international conference on Virtual Reality continuum and its applications in industry - VRCAI '04 - Collaborative virtual environment for feature based modeling

Tang, Min, Chou, Shang-Ching, Dong, Jin-Xiang

Year:

2004

Language:

english

File:

PDF, 235 KB

english, 2004

13

Visually Dynamic Presentation of Proofs in Plane Geometry

Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao

Journal:

Journal of Automated Reasoning

Year:

2010

Language:

english

File:

PDF, 897 KB

english, 2010

14

[IEEE 8th International Conference on Computer Supported Cooperative Work in Design - Xiamen, China (May 26-28, 2004)] 8th International Conference on Computer Supported Cooperative Work in Design - Intersect offsets of parametric surfaces with branch analysis

Min Tang,, Shang-ching Chou,, Jin-xiang Dong,

Year:

2004

Language:

english

File:

PDF, 338 KB

english, 2004

15

Automated reasoning in differential geometry and mechanics using the characteristic set method

Shang-Ching Chou, Xiao-Shan Gao

Journal:

Journal of Automated Reasoning

Year:

1993

Language:

english

File:

PDF, 989 KB

english, 1993

16

Visually Dynamic Presentation of Proofs in Plane Geometry

Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao

Journal:

Journal of Automated Reasoning

Year:

2010

Language:

english

File:

PDF, 1.25 MB

english, 2010

17

Mathematics Mechanization and Applications || Wu's method for automated geometry theorem proving and discovering

Shang-Ching, Chou

Year:

2000

File:

PDF, 1018 KB

2000

18

Two-Dimensional Luneburg Lens Beamforming Network for Planar Phased Array of Antennas to Radiate Near-field Focused Multibeams

Chang, Shang-Che, Chou, Hsi-Tseng, Huang, Hao-Ju

Journal:

IEEE Transactions on Antennas and Propagation

Year:

2020

File:

PDF, 2.02 MB

2020

19

Geometric constraint satisfaction using optimization methods

Jian-Xin Ge, Shang-Ching Chou, Xiao-Shan Gao

Journal:

Computer-Aided Design

Year:

1999

Language:

english

File:

PDF, 337 KB

english, 1999

20

On the parameterization of algebraic curves

Xiao-Shan Gao, Shang-Ching Chou

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

1992

Language:

english

File:

PDF, 658 KB

english, 1992

21

Handbook of Automated Reasoning || Automated Reasoning in Geometry

Chou, Shang-Ching

Year:

2001

File:

PDF, 2.38 MB

2001

22

Proving geometry theorems with rewrite rules

Shang-Ching Chou, William F. Schelter

Journal:

Journal of Automated Reasoning

Year:

1986

Language:

english

File:

PDF, 1016 KB

english, 1986

23

A real-time PCR method for the quantitative analysis of RNA editing at specific sites

Yu-Chia Chen, Shang-Ching Kao, Hsiao-Chin Chou, Wei-Hsiang Lin, Feng-Hua Wong, Wei-Yuan Chow

Journal:

Analytical Biochemistry

Year:

2008

Language:

english

File:

PDF, 562 KB

english, 2008

24

Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility

Xiao-Shan Gao, Shang-Ching Chou

Journal:

Computer-Aided Design

Year:

1998

Language:

english

File:

PDF, 947 KB

english, 1998

25

[ACM Press Papers from the international symposium - Berkeley, California, United States (1992.07.27-1992.07.29)] Papers from the international symposium on Symbolic and algebraic computation - ISSAC '92 - Solving parametric algebraic systems

Gao, Xiao-Shan, Chou, Shang-Ching

Year:

1992

Language:

english

File:

PDF, 563 KB

english, 1992

26

[IEEE 8th International Conference on Computer Supported Cooperative Work in Design - Xiamen, China (May 26-28, 2004)] 8th International Conference on Computer Supported Cooperative Work in Design - Selective scene transfer in web applications

Min Tang,, Zheng-ming Ying,, Shang-ching Chou,, Jin-xiang Dong,

Year:

2004

Language:

english

File:

PDF, 502 KB

english, 2004

27

[ACM Press the 1991 international symposium - Bonn, West Germany (1991.07.15-1991.07.17)] Proceedings of the 1991 international symposium on Symbolic and algebraic computation - ISSAC '91 - Computations with parametric equations

Gao, Xiao-Shan, Chou, Shang-Ching

Year:

1991

Language:

english

File:

PDF, 593 KB

english, 1991

28

Quadratic approximation to plane parametric curves and its application in approximate implicitization

Ming Li, Xiao-Shan Gao, Shang-Ching Chou

Journal:

The Visual Computer

Year:

2006

Language:

english

File:

PDF, 465 KB

english, 2006

29

[IEEE Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design - Coventry, UK (2005.5.24-2005.5.26)] Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005. - Real-time rendering of raining animation based on the graphics hardware acceleration

Zhong-Xin Feng,, Min Tang,, Jin-Xiang Dong,, Shang-Ching Chou,

Year:

2005

Language:

english

File:

PDF, 1.03 MB

english, 2005

30

[IEEE 8th International Conference on Computer Supported Cooperative Work in Design - Xiamen, China (26-28 May 2004)] 8th International Conference on Computer Supported Cooperative Work in Design - Solving geometric constraints with niche genetic simulated annealing algorithm

Liu Sheng-Li,, Tang Min,, Chou Shang-Ching,, Dong Jin-Xiang,

Year:

2004

Language:

english

File:

PDF, 607 KB

english, 2004

31

Automated production of traditional proofs in solid geometry

Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang

Journal:

Journal of Automated Reasoning

Year:

1995

Language:

english

File:

PDF, 1.67 MB

english, 1995

32

[ACM Press the 1993 international symposium - Kiev, Ukraine (1993.07.06-1993.07.08)] Proceedings of the 1993 international symposium on Symbolic and algebraic computation - ISSAC '93 - Automated geometry theorem proving by vector calculation

Chou, Shang-Ching, Gao, Xiao-Shan, Zhang, Jing-Zhong

Year:

1993

Language:

english

File:

PDF, 600 KB

english, 1993

33

Conflicts classification and solving for collaborative feature modeling

Min Tang, Shang-Ching Chou, Jin-Xiang Dong

Journal:

Advanced Engineering Informatics

Year:

2007

Language:

english

File:

PDF, 496 KB

english, 2007

34

Automated generation of readable proofs with geometric invariants

Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang

Journal:

Journal of Automated Reasoning

Year:

1996

Language:

english

File:

PDF, 1.07 MB

english, 1996

35

A Zero Structure Theorem for Differential Parametric Systems

Xiao-Shan Gao, Shang-Ching Chou

Journal:

Journal of Symbolic Computation

Year:

1993

File:

PDF, 273 KB

1993

36

Implicitization of rational parametric equations

Xiao-Shan Gao, Shang-Ching Chou

Journal:

Journal of Symbolic Computation

Year:

1992

Language:

english

File:

PDF, 636 KB

english, 1992

37

Automated generation of readable proofs with geometric invariants

Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang

Journal:

Journal of Automated Reasoning

Year:

1996

Language:

english

File:

PDF, 913 KB

english, 1996

38

An algorithm for constructing gröbner bases from characteristic sets and its application to geometry

Shang-Ching Chou, William F. Schelter, Jin-Gen Yang

Journal:

Year:

1990

Language:

english

File:

PDF, 347 KB

english, 1990

39

[IEEE Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design - Coventry, UK (2005.5.24-2005.5.26)] Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005. - Model compression and transmission in collaborative CAD

Rong-Qin Chen,, Min Tang,, Jin-Xiang Dong,, Shang-Ching Chou,

Year:

2005

Language:

english

File:

PDF, 1022 KB

english, 2005

40

GridCAD: A Collaborative CAD System Based on Grid Computing

Shi, He-Fu, Tang, Min, Chou, Shang-Ching, Dong, Jin-Xiang

Journal:

Computer-Aided Design and Applications

Year:

2004

Language:

english

File:

PDF, 552 KB

english, 2004

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски